Testing Ada 95 Programs for Conformance to Rapide Architectures

The architecture of a system expresses the structural aspects of the system | the modules, the control structure, communication patterns , sharing of data and composition of modules. The architecture of a complex software system is a signiicant issue in the proper design, analysis and possibility of reuse of the software system. This paper describes how the architecture of an Ada program may be automatically extracted at run time and tested for conformance against a reference architecture in a language called rapide. The extraction of Ada program architectures facilitates design, analysis and reuse of Ada programs since architecture based design, analysis and reuse techniques can now be applied to the program. The paper rst gives rules for testing conformance of Ada programs to rapide architectures. The paper then deenes a language called rapide-ada that instruments Ada programs to produce events at run time. The events are tested for conformance against a rapide reference architecture by application of the rules for testing conformance.